Software Testing with QuickCheck

See, it obviously works! The biggest problem with testing is actually not that bugs may remain in well-tested code—although of course they may. The biggest problem is that reaching acceptable quality by testing is so inordinately expensive! Testing typically accounts for around half the cost of a software project—so finding ways to reduce its cost, without compromising the quality of the result, is very valuable indeed. Running tests manually is the most expensive way to perform them. In practice, developers automate their tests in order to write them once, then run them many times. For example, the two tests above might be automated via the function definitions